Nuprl Definition : ecl-machine1
0,22
postcript
pdf
ecl-machine1{$ecl:ut2}
ecl-machine1
(
i
;
ds
;
da
;
A
)
== let
T
,
ks
,
init
,
tr
,
h
,
a
,
es
= ecl-trans(
A
) in R-state-var-init(
i
;
ds
;
da
;"$ecl";
T
;
init
;
ks
;
tr
)
latex
Definitions
let
a
,
b
,
c
,
d
,
e
,
f
,
g
=
u
in
v
(
a
;
b
;
c
;
d
;
e
;
f
;
g
)
,
ecl-trans(
x
)
,
R-state-var-init(
i
;
ds
;
da
;
x
;
T
;
v
;
ks
;
tr
)
,
"$x"
origin